Thema Theoretische Informatik – alle Bücher

Ji¿í Adámek, Stefan Milius, Lawrence S. Moss
Initial Algebras and Terminal Coalgebras

"This definitive treatment of results in category theory and theoretical computer science covers classical material from new viewpoints and develops a wealth of new topics. The centrepiece is a collection…

lieferbar innerhalb 2-3 Wochen

Buch

Shamiul Alam, Ahmedullah Aziz
Superconducting Memory Technologies

There is a lot of excitement around quantum computers that use superconducting qubits, which operate at extremely low temperatures since they are ultra-sensitive to noise. These quantum computers need a m…

lieferbar innerhalb 2-3 Wochen

Buch

Richard Ansorge
Programming in Parallel with CUDA

This practical guide shows how to analyse, manipulate or simulate scientific or other numerical data using the power of modern GPUs to greatly increase the speed of calculations. Aimed at researchers and …

lieferbar innerhalb 2-3 Wochen

Buch

Dimitri Ara, Albert Burroni, Yves Guiraud, Philippe Malbos
Polygraphs: From Rewriting to Higher Categories

This is the first book to revisit the theory of rewriting in the context of strict higher categories, through the unified approach provided by polygraphs, and put it in the context of homotopical algebra.…

lieferbar ab 15.5.2025.

Buch

Gordon B. Bach
AI-gestütztes Requirements Engineering

In einer Ära rasanter technologischer Fortschritte bietet dieses Buch eine tiefgreifende Analyse des Einflusses künstlicher Intelligenz auf das Requirements Engineering. Der Autor, Gordon B. Bach, entfalt…

lieferbar innerhalb 2-3 Wochen

Buch

Gordon B. Bach
AI-gestütztes Requirements Engineering

In einer Ära rasanter technologischer Fortschritte bietet dieses Buch eine tiefgreifende Analyse des Einflusses künstlicher Intelligenz auf das Requirements Engineering. Der Autor, Gordon B. Bach, entfalt…

lieferbar innerhalb 2-3 Wochen

Buch

Helmut Balzert, Christof Ebert
Lehrbuch der Softwaretechnik

Das bekannte "Balzert" Lehrbuch der Softwaretechnik liegt nun in einer komplett überarbeiteten Version vor. Im Vergleich zu den voluminösen früheren drei Bänden liegt hier eine Referenz für den täglichen …

lieferbar ab 25.12.2025.

Buch

Bernd Baumgarten
Diskrete Mathematik kompakt

De Gruyter Studium

Nachdem der Autor sich in seinen Abschlussarbeiten mit Themen der Analysis befasst hatte, arbeitete er danach beruflich ausschließlich im Bereich der diskreten Mathematik: forschend im Bereich der Spezifi…

sofort lieferbar

Buch

Timo Berthold, Andrea Lodi, Domenico Salvagnin
Primal Heuristics in Integer Programming

Primal heuristics have allowed mixed-integer programming to extend to many practical applications by guaranteeing that feasible solutions of high quality are available at an early stage of the solving pro…

lieferbar innerhalb 2-3 Wochen

Buch

Timo Berthold, Andrea Lodi, Domenico Salvagnin
Primal Heuristics in Integer Programming

Primal heuristics have allowed mixed-integer programming to extend to many practical applications by guaranteeing that feasible solutions of high quality are available at an early stage of the solving pro…

lieferbar innerhalb 2-3 Wochen

Buch

Christian Blum
Construct, Merge, Solve & Adapt

Computational Intelligence Methods and Applications

This book describes a general hybrid metaheuristic for combinatorial optimization labeled Construct, Merge, Solve & Adapt (CMSA). The general idea of standard CMSA is the following one. At each iteration,…

lieferbar innerhalb 2-3 Wochen

Buch

Anna Breger
Basiswissen der mathematischen Bildbearbeitung

Mithilfe dieses kompakten Buchs wird ein erstes strukturiertes Verständnis fu r die mathematischen Grundlagen digitaler Bilder und deren weitere Bearbeitung vermittelt. Ziel des Buchs ist es Interesse zu …

sofort lieferbar

Buch

Tullio Ceccherini-Silberstein, Michel Coornaert
Exercises in Cellular Automata and Groups

This book complements the authors monograph Cellular Automata and Groups [CAG] (Springer Monographs in Mathematics). It consists of more than 600 fully solved exercises in symbolic dynamics and geometric…

lieferbar innerhalb 2-3 Wochen

Buch

Claudio Conti
Quantum Machine Learning

This book presents a new way of thinking about quantum mechanics and machine learning by merging the two. Quantum mechanics and machine learning may seem theoretically disparate, but their link becomes cl…

lieferbar innerhalb 2-3 Wochen

Buch

Erik Cuevas, Héctor Escobar, Alberto Luque
Computational Methods with MATLAB®

This textbook provides readers a comprehensive introduction to numerical methods, using MATLAB®. The authors discuss the theory and application of the most often used numerical methods, using MATLAB as a …

lieferbar innerhalb 2-3 Wochen

Buch

Daniele Cuomo
Architectures and Circuits for Distributed Quantum Computing

This thesis treats networks providing quantum computation based on distributed paradigms. Compared to architectures relying on one processor, a network promises to be more scalable and less fault-prone. D…

lieferbar innerhalb 2-3 Wochen

Buch

Bruno Da Ré, Federico Pailos
Metainferential Logics

This book is the first to present a comprehensive investigation of the technical features of the metainferential logics developed in the last years, with their most relevant results and applications. It p…

lieferbar innerhalb 2-3 Wochen

Buch

Wilfried Dankmeier
Grundkurs Codierung

Dieses Buch bietet aktuelles Wissen zu Codierungsverfahren und behandelt insbesondere die Korrektur von Datenübertragungs-Fehlern über Leitungen und Funk die Verschlüsselung die Datenkompression Ohne…

lieferbar innerhalb 2-3 Wochen

Buch

R¿zvan Diaconescu
Institution-independent Model Theory

A model theory that is independent of any concrete logical system allows a general handling of a large variety of logics. This generality can be achieved by applying the theory of institutions that provid…

lieferbar innerhalb 2-3 Wochen

Buch

Reinhard Diestel
Graph Theory

This standard textbook on modern graph theory combines the authority of a classic with the engaging freshness of style that is the hallmark of active mathematics. It covers the core material of the subjec…

lieferbar innerhalb 2-3 Wochen

Buch

Trefferliste "Theoretische Informatik" - alle Bücher